Optimal. Leaf size=16 \[ \frac {2 (c+d x)^{7/2}}{7 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.00, antiderivative size = 16, normalized size of antiderivative = 1.00, number of steps
used = 1, number of rules used = 1, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {32}
\begin {gather*} \frac {2 (c+d x)^{7/2}}{7 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 32
Rubi steps
\begin {align*} \int (c+d x)^{5/2} \, dx &=\frac {2 (c+d x)^{7/2}}{7 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 16, normalized size = 1.00 \begin {gather*} \frac {2 (c+d x)^{7/2}}{7 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Mathics [A]
time = 1.75, size = 12, normalized size = 0.75 \begin {gather*} \frac {2 \left (c+d x\right )^{\frac {7}{2}}}{7 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.14, size = 13, normalized size = 0.81
method | result | size |
gosper | \(\frac {2 \left (d x +c \right )^{\frac {7}{2}}}{7 d}\) | \(13\) |
derivativedivides | \(\frac {2 \left (d x +c \right )^{\frac {7}{2}}}{7 d}\) | \(13\) |
default | \(\frac {2 \left (d x +c \right )^{\frac {7}{2}}}{7 d}\) | \(13\) |
trager | \(\frac {2 \left (d^{3} x^{3}+3 c \,d^{2} x^{2}+3 c^{2} d x +c^{3}\right ) \sqrt {d x +c}}{7 d}\) | \(40\) |
risch | \(\frac {2 \left (d^{3} x^{3}+3 c \,d^{2} x^{2}+3 c^{2} d x +c^{3}\right ) \sqrt {d x +c}}{7 d}\) | \(40\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 12, normalized size = 0.75 \begin {gather*} \frac {2 \, {\left (d x + c\right )}^{\frac {7}{2}}}{7 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 39 vs.
\(2 (12) = 24\).
time = 0.29, size = 39, normalized size = 2.44 \begin {gather*} \frac {2 \, {\left (d^{3} x^{3} + 3 \, c d^{2} x^{2} + 3 \, c^{2} d x + c^{3}\right )} \sqrt {d x + c}}{7 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.03, size = 12, normalized size = 0.75 \begin {gather*} \frac {2 \left (c + d x\right )^{\frac {7}{2}}}{7 d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 95 vs.
\(2 (12) = 24\).
time = 0.00, size = 199, normalized size = 12.44 \begin {gather*} \frac {\frac {2 d^{3} \left (\frac {1}{7} \sqrt {c+d x} \left (c+d x\right )^{3}-\frac {3}{5} \sqrt {c+d x} \left (c+d x\right )^{2} c+\sqrt {c+d x} \left (c+d x\right ) c^{2}-\sqrt {c+d x} c^{3}\right )}{d^{3}}+\frac {6 c d^{2} \left (\frac {1}{5} \sqrt {c+d x} \left (c+d x\right )^{2}-\frac {2}{3} \sqrt {c+d x} \left (c+d x\right ) c+\sqrt {c+d x} c^{2}\right )}{d^{2}}+6 c^{2} \left (\frac {1}{3} \sqrt {c+d x} \left (c+d x\right )-c \sqrt {c+d x}\right )+2 c^{3} \sqrt {c+d x}}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.02, size = 12, normalized size = 0.75 \begin {gather*} \frac {2\,{\left (c+d\,x\right )}^{7/2}}{7\,d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________